INSTITUT FÜR INFORMATIK UND PRAKTISCHE MATHEMATIK An Evaluation Semantics for Narrowing-Based Functional Logic Languages

نویسندگان

  • Michael Hanus
  • Salvador Lucas
چکیده

We introduce a semantic characterization of narrowing, the computational engine of many functional logic languages. We use a functional domain for giving a denotation to the narrowing space associated to a given initial expression under an arbitrary narrowing strategy. Such a semantic description highlights (and favours) the operational notion of evaluation instead of the more usual model-theoretic notion of interpretation as the basis for the semantic description. The motivation is to obtain an abstract semantics which encodes information about the real operational framework used by a given (narrowing-based) functional logic language. Our aim is to provide a general, suitable, and accurate framework for the analysis of functional logic programs.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

INSTITUT FÜR INFORMATIK UND PRAKTISCHE MATHEMATIK Tree Transducer-based Analysis of Cryptographic Protocols

متن کامل

INSTITUT FÜR INFORMATIK UND PRAKTISCHE MATHEMATIK Learning Manipulator Behaviors using Visual Information

متن کامل

INSTITUT FÜR INFORMATIK UND PRAKTISCHE MATHEMATIK Gabor Wavelet Networks for Object Representation

5

متن کامل

Datenbanken und Informationssysteme

Organisatorische Zugehörigkeit Ich gehörte zunächst zum Fachbereich Elektrotechnik, Fakultät für Maschinenbau und Elektrotechnik. Anläßlich der Zusammenführung der Informatik wurde ich Mitglied des Instituts für Theoretische und Praktische Informatik (1978) im Fachbereich Mathematik und Informatik. Wenig später wurde dieses Institut in kleinere Einheiten aufgeteilt, und mein Arbeitsbereich wurd...

متن کامل

Discrepancy of Products of Hypergraphs

Discrepancy of Products of Hypergraphs Benjamin Doerr, Michael Gnewuch and Nils Hebbinghaus Max-Planck-Institut für Informatik, Stuhlsatzenhausweg 85, D-66123 Saarbrücken, e-mail: [email protected] Max-Planck-Institut für Mathematik in den Naturwissenschaften, Inselstraße 22, D-04103 Leipzig, e-mail: [email protected] Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Uni...

متن کامل

ذخیره در منابع من

ذخیره در منابع من قبلا به منابع من ذحیره شده

{@ msg_add @}


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2000